임시조치, 문의: [email protected]

페아노 공리계(r3 Blame)

r3
r2
sefirot
1[[분류:집합론]]
2[목차]
r3
sefirot
3== 개요 ==
4학부 집합론 시간에 배우는 형식적인(formal) [[자연수]]의 정의 및 공리계(axiomatic system).